alpha is package{
  alpha(X) is X;
}